1. Elementary end extensions in model theory and set theory
Author: by: Shahram Mohsenipour,^AMohsenipour, Shahram
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Model theory,Set theory
2. Fundamentals of mathematical logic /
Author: Peter G. Hinman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
Classification :
QA9
.
H527
2005
3. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
Classification :
QA
9
.
A1
.
L63
1987
4. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Author: edited by G. H. Muller and M. M. Richter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
Classification :
QA
3
.
L28
Vol
.
1103
,
1104
